var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https://bercher.net/bibtex/conferences.bib&theme=default&fullnames=1&filter=key:(Chen2022FlexibleFONDHTNs|Chen2021FONDHTN|Hoeller2020HTNPlanRepair|Hoeller2018PlanRecognition|Leichtmann2018HumanPlanningBehavior|Hoeller2018ProgressionHeuristics)&jsonp=1&hidemenu=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https://bercher.net/bibtex/conferences.bib&theme=default&fullnames=1&filter=key:(Chen2022FlexibleFONDHTNs|Chen2021FONDHTN|Hoeller2020HTNPlanRepair|Hoeller2018PlanRecognition|Leichtmann2018HumanPlanningBehavior|Hoeller2018ProgressionHeuristics)&jsonp=1&hidemenu=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https://bercher.net/bibtex/conferences.bib&theme=default&fullnames=1&filter=key:(Chen2022FlexibleFONDHTNs|Chen2021FONDHTN|Hoeller2020HTNPlanRepair|Hoeller2018PlanRecognition|Leichtmann2018HumanPlanningBehavior|Hoeller2018ProgressionHeuristics)&jsonp=1&hidemenu=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
  2. \n
  3. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
  4. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2022\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Flexible FOND HTN planning: A Complexity Analysis.\n \n \n \n \n\n\n \n Dillon Z. Chen; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), pages 26–34, 2022. AAAI Press\n This paper won the ICAPS 2022 Best Undergraduate Student Paper Award\n\n\n\n
\n\n\n\n \n \n \"Flexible paper\n  \n \n \n \"Flexible poster\n  \n \n \n \"Flexible slides\n  \n \n \n \"Flexible video of presentation\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 33 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Chen2022FlexibleFONDHTNs,\n  author     = {Dillon Z. Chen and Pascal Bercher},\n  booktitle  = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022)},\n  title      = {Flexible FOND HTN planning: A Complexity Analysis},\n  year       = {2022},\n  pages      = {26--34},\n  doi        = {10.1609/icaps.v32i1.19782},\n  publisher  = {AAAI Press},\n  abstract   = {Hierarchical Task Network (HTN) planning is an expressive planning formalism that has often been advocated to address real-world problems. Yet few extensions exist that can deal with the many challenges encountered in the real world, one being the capability to express uncertainty. Recently, a new HTN formalism for fully observable nondeterministic problems was proposed and studied theoretically. In this paper, we lay out limitations of that formalism and propose an alternative definition, which addresses and resolves such limitations. We also study its complexity for certain problems.},\n  url_Paper  = {https://bercher.net/publications/2022/Chen2022FlexibleFONDHTNs.pdf},\n  url_Poster = {https://bercher.net/publications/2022/Chen2022FlexibleFONDHTNsPoster.pdf},\n  url_Slides = {https://bercher.net/publications/2022/Chen2022FlexibleFONDHTNsSlides.pdf},\n  url_video_of_presentation = {http://icaps22.icaps-conference.org/papers/187/index.html},\n  note       = {<b><i>This paper won the ICAPS 2022 Best Undergraduate Student Paper Award</i></b>}\n}\n\n
\n
\n\n\n
\n Hierarchical Task Network (HTN) planning is an expressive planning formalism that has often been advocated to address real-world problems. Yet few extensions exist that can deal with the many challenges encountered in the real world, one being the capability to express uncertainty. Recently, a new HTN formalism for fully observable nondeterministic problems was proposed and studied theoretically. In this paper, we lay out limitations of that formalism and propose an alternative definition, which addresses and resolves such limitations. We also study its complexity for certain problems.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Fully Observable Nondeterministic HTN Planning – Formalisation and Complexity Results.\n \n \n \n \n\n\n \n Dillon Chen; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), pages 74–84, 2021. AAAI Press\n This paper won the ICAPS 2021 Best Undergraduate Student Paper Award\n\n\n\n
\n\n\n\n \n \n \"Fully paper\n  \n \n \n \"Fully video of presentation\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 36 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Chen2021FONDHTN,\n  author    = {Dillon Chen and Pascal Bercher},\n  title     = {Fully Observable Nondeterministic HTN Planning -- Formalisation and Complexity Results},\n  booktitle = {Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021)},\n  year      = {2021},\n  pages     = {74--84},\n  publisher = {AAAI Press},\n  doi       = {10.1609/icaps.v31i1.15949},\n  abstract  = {Much progress has been made in advancing the state of the art of HTN planning theory in recent years. However, scarce studies have been made with regards to the theory and complexity of HTN problems on nondeterministic domains. In this paper we provide a novel formalisation for fully observable nondeterministic HTN planning. We propose and study different solution criteria which differ in when nondeterministic action outcomes are considered: at plan generation or at plan execution. We integrate our solution criteria with notions of weak and strong plans canonical in nondeterministic planning and identify similarities and differences with plans in other fields of AI planning. We also provide completeness results for a majority of HTN problem subclasses and show the significant result that problems are not made any harder under nondeterminism for certain solution criteria by using compilation techniques to deterministic HTN planning. This supports and justifies the practicality and scalability of extending HTN problems over nondeterministic domains to deal with real world scenarios.},\n  url_Paper = {https://bercher.net/publications/2021/Chen2021FONDHTNs.pdf},\n  url_video_of_presentation = {https://icaps21.icaps-conference.org/papers/exhibition_files/index_44.html},\n  note      = {<b><i>This paper won the ICAPS 2021 Best Undergraduate Student Paper Award</i></b>}\n}\n\n\n
\n
\n\n\n
\n Much progress has been made in advancing the state of the art of HTN planning theory in recent years. However, scarce studies have been made with regards to the theory and complexity of HTN problems on nondeterministic domains. In this paper we provide a novel formalisation for fully observable nondeterministic HTN planning. We propose and study different solution criteria which differ in when nondeterministic action outcomes are considered: at plan generation or at plan execution. We integrate our solution criteria with notions of weak and strong plans canonical in nondeterministic planning and identify similarities and differences with plans in other fields of AI planning. We also provide completeness results for a majority of HTN problem subclasses and show the significant result that problems are not made any harder under nondeterminism for certain solution criteria by using compilation techniques to deterministic HTN planning. This supports and justifies the practicality and scalability of extending HTN problems over nondeterministic domains to deal with real world scenarios.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n HTN Plan Repair via Model Transformation.\n \n \n \n \n\n\n \n Daniel Höller; Pascal Bercher; Gregor Behnke; and Susanne Biundo.\n\n\n \n\n\n\n In Proceedings of the 43th German Conference on Artificial Intelligence (KI 2020), pages 88–101, 2020. Springer\n This paper was nominated for the KI 2020 Best Paper Award\n\n\n\n
\n\n\n\n \n \n \"HTN paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoeller2020HTNPlanRepair,\n  author    = {Daniel H\\"oller and Pascal Bercher and Gregor Behnke and Susanne Biundo},\n  title     = {HTN Plan Repair via Model Transformation},\n  booktitle = {Proceedings of the 43th German Conference on Artificial Intelligence ({KI} 2020)},\n  year      = {2020},\n  publisher = {Springer},\n  pages     = {88--101},\n  note      = {<b><i>This paper was nominated for the KI 2020 Best Paper Award</i></b>},\n  abstract  = {To make planning feasible, planning models abstract from many details of the modeled system. When executing plans in the actual system, the model might be inaccurate in a critical point, and plan execution may fail. There are two options to handle this case: the previous solution can be modified to address the failure (plan repair), or the planning process can be re-started from the new situation (re-planning). In HTN planning, discarding the plan and generating a new one from the novel situation is not easily possible, because the HTN solution criteria make it necessary to take already executed actions into account. Therefore all approaches to repair plans in the literature are based on specialized algorithms. In this paper, we discuss the problem in detail and introduce a novel approach that makes it possible to use unchanged, off-the-shelf HTN planning systems to repair broken HTN plans. That way, no specialized solvers are needed.},\n  doi       = {10.1007/978-3-030-58285-2_7},\n  url_Paper = {https://bercher.net/publications/2020/Hoeller2020HTNRepair.pdf}\n}\n\n\n\n
\n
\n\n\n
\n To make planning feasible, planning models abstract from many details of the modeled system. When executing plans in the actual system, the model might be inaccurate in a critical point, and plan execution may fail. There are two options to handle this case: the previous solution can be modified to address the failure (plan repair), or the planning process can be re-started from the new situation (re-planning). In HTN planning, discarding the plan and generating a new one from the novel situation is not easily possible, because the HTN solution criteria make it necessary to take already executed actions into account. Therefore all approaches to repair plans in the literature are based on specialized algorithms. In this paper, we discuss the problem in detail and introduce a novel approach that makes it possible to use unchanged, off-the-shelf HTN planning systems to repair broken HTN plans. That way, no specialized solvers are needed.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Towards a Companion System Incorporating Human Planning Behavior – A Qualitative Analysis of Human Strategies.\n \n \n \n \n\n\n \n Benedikt Leichtmann; Pascal Bercher; Daniel Höller; Gregor Behnke; Susanne Biundo; Verena Nitsch; and Martin Baumann.\n\n\n \n\n\n\n In Proceedings of the 3rd Transdisciplinary Conference on Support Technologies (TCST 2018), pages 89–98, 2018. \n This paper won the TCST 2018 Best Paper Award\n\n\n\n
\n\n\n\n \n \n \"Towards paper\n  \n \n \n \"Towards slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Leichtmann2018HumanPlanningBehavior,\n   author    = {Benedikt Leichtmann and Pascal Bercher and Daniel H{\\"o}ller and Gregor Behnke and Susanne Biundo and Verena Nitsch and Martin Baumann},\n   title     = {Towards a Companion System Incorporating Human Planning Behavior -- A Qualitative Analysis of Human Strategies},\n   year      = {2018},\n   pages     = {89--98},\n   booktitle = {Proceedings of the 3rd Transdisciplinary Conference on Support Technologies (TCST 2018)},\n   note      = {<b><i>This paper won the TCST 2018 Best Paper Award</i></b>},\n   abstract  = {User-friendly Companion Systems require Artificial Intelligence planning to take into account human planning behavior. We conducted a qualitative exploratory study of human planning in a knowledge rich, real-world scenario. Participants were tasked with setting up a home theater. The effect of strategy knowledge on problem solving was investigated by comparing the performance of two groups: one group (n = 23) with strategy instructions for problem solving and a control group without such instructions (n = 16). We inductively identify behavioral patterns for human strategy use through Markov matrices. Based on the results, we derive implications for the design of planning-based assistance systems.},\n   url_Paper = {https://bercher.net/publications/2018/Leichtmann2018HumanPlanningBehavior.pdf},\n   url_Slides = {https://bercher.net/publications/2018/Leichtmann2018HumanPlanningBehaviorSlides.pdf}\n}\n\n\n
\n
\n\n\n
\n User-friendly Companion Systems require Artificial Intelligence planning to take into account human planning behavior. We conducted a qualitative exploratory study of human planning in a knowledge rich, real-world scenario. Participants were tasked with setting up a home theater. The effect of strategy knowledge on problem solving was investigated by comparing the performance of two groups: one group (n = 23) with strategy instructions for problem solving and a control group without such instructions (n = 16). We inductively identify behavioral patterns for human strategy use through Markov matrices. Based on the results, we derive implications for the design of planning-based assistance systems.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Plan and Goal Recognition as HTN Planning.\n \n \n \n \n\n\n \n Daniel Höller; Gregor Behnke; Pascal Bercher; and Susanne Biundo.\n\n\n \n\n\n\n In Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018), pages 466–473, 2018. IEEE\n This paper won the ICTAI 2018 CV Ramamoorthy Best Paper Award\n\n\n\n
\n\n\n\n \n \n \"Plan paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoeller2018PlanRecognition,\n   author    = {Daniel H{\\"o}ller and Gregor Behnke and Pascal Bercher and Susanne Biundo},\n   title     = {Plan and Goal Recognition as {HTN} Planning},\n   year      = {2018},\n   publisher = {IEEE},\n   pages     = {466--473},\n   note      = {<b><i>This paper won the ICTAI 2018 CV Ramamoorthy Best Paper Award</i></b>},\n   booktitle = {Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018)},\n   abstract  = {Plan- and Goal Recognition (PGR) is the task of inferring the goals and plans of an agent based on its actions. Traditional approaches in PGR are based on a plan library including pairs of plans and corresponding goals. In recent years, the field successfully exploited the performance of planning systems for PGR. The main benefits are the presence of efficient solvers and well-established, compact formalisms for behavior representation. However, the expressivity of the STRIPS planning models used so far is limited, and models in PGR are often structured in a hierarchical way. We present the approach Plan and Goal Recognition as HTN Planning that combines the expressive but still compact grammar-like HTN representation with the advantage of using unmodified, off-the-shelf planning systems for PGR. Our evaluation shows that -- using our approach -- current planning systems are able to handle large models with thousands of possible goals, that the approach results in high recognition rates, and that it works even when the environment is partially observable, i.e., if the observer might miss observations.},\n   doi       = {10.1109/ICTAI.2018.00078},\n   url_Paper = {https://bercher.net/publications/2018/Hoeller2018bPlanRecognition.pdf}\n}\n\n
\n
\n\n\n
\n Plan- and Goal Recognition (PGR) is the task of inferring the goals and plans of an agent based on its actions. Traditional approaches in PGR are based on a plan library including pairs of plans and corresponding goals. In recent years, the field successfully exploited the performance of planning systems for PGR. The main benefits are the presence of efficient solvers and well-established, compact formalisms for behavior representation. However, the expressivity of the STRIPS planning models used so far is limited, and models in PGR are often structured in a hierarchical way. We present the approach Plan and Goal Recognition as HTN Planning that combines the expressive but still compact grammar-like HTN representation with the advantage of using unmodified, off-the-shelf planning systems for PGR. Our evaluation shows that – using our approach – current planning systems are able to handle large models with thousands of possible goals, that the approach results in high recognition rates, and that it works even when the environment is partially observable, i.e., if the observer might miss observations.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Generic Method to Guide HTN Progression Search with Classical Heuristics.\n \n \n \n \n\n\n \n Daniel Höller; Pascal Bercher; Gregor Behnke; and Susanne Biundo.\n\n\n \n\n\n\n In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), pages 114–122, 2018. AAAI Press\n This paper won the ICAPS 2018 Best Student Paper Award\n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n \n \"A video of presentation\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 6 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoeller2018ProgressionHeuristics,\n  author    = {Daniel H{\\"{o}}ller and Pascal Bercher and Gregor Behnke and Susanne Biundo},\n  title     = {A Generic Method to Guide {HTN} Progression Search with Classical Heuristics},\n  booktitle = {Proceedings of the 28th International Conference on Automated Planning and Scheduling ({ICAPS 2018})},\n  note      = {<b><i>This paper won the ICAPS 2018 Best Student Paper Award</i></b>},\n  publisher = {{AAAI} Press},\n  year      = {2018},\n  pages     = {114--122},\n  abstract  = {HTN planning combines actions that cause state transition with grammar-like decomposition of compound tasks that additionally restricts the structure of solutions. There are mainly two strategies to solve such planning problems: decomposition-based search in a plan space and progression-based search in a state space. Existing progression-based systems do either not rely on heuristics (e.g. SHOP2) or calculate their heuristics based on extended or modified models (e.g. GoDeL). Current heuristic planners for standard HTN models (e.g. PANDA) use decomposition-based search. Such systems represent search nodes more compactly due to maintaining a partial order between tasks, but they have no current state at hand during search. This makes the design of heuristics difficult. In this paper we present a progression-based heuristic HTN planning system: We (1) provide an improved progression algorithm, prove its correctness, and empirically show its efficiency gain; and (2) present an approach that allows to use arbitrary classical (non-hierarchical) heuristics in HTN planning. Our empirical evaluation shows that the resulting system outperforms the state-of-the-art in HTN planning.},\n  doi       = {10.1609/icaps.v28i1.13900},\n  url_Paper = {https://bercher.net/publications/2018/Hoeller2018ProgressionHeuristics.pdf},\n  url_video_of_presentation = {https://www.youtube.com/watch?v=KOZuIkJaC0w}\n} \n\n
\n
\n\n\n
\n HTN planning combines actions that cause state transition with grammar-like decomposition of compound tasks that additionally restricts the structure of solutions. There are mainly two strategies to solve such planning problems: decomposition-based search in a plan space and progression-based search in a state space. Existing progression-based systems do either not rely on heuristics (e.g. SHOP2) or calculate their heuristics based on extended or modified models (e.g. GoDeL). Current heuristic planners for standard HTN models (e.g. PANDA) use decomposition-based search. Such systems represent search nodes more compactly due to maintaining a partial order between tasks, but they have no current state at hand during search. This makes the design of heuristics difficult. In this paper we present a progression-based heuristic HTN planning system: We (1) provide an improved progression algorithm, prove its correctness, and empirically show its efficiency gain; and (2) present an approach that allows to use arbitrary classical (non-hierarchical) heuristics in HTN planning. Our empirical evaluation shows that the resulting system outperforms the state-of-the-art in HTN planning.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);